A strong certification process is required to insure the safety of airplanes,and more specifically the robustness of avionics applications. To implementthis process, the development of avionics software must follow long and costlyprocedures. Most of these procedures have to be reexecuted each time thesoftware is modified. In this paper, we propose a framework to reduce the costand time impact of a software modification. With this new approach, the pieceof software likely to change is isolated from the rest of the application, soit can be certified independently. This helps the system integrator to adapt anavionics application to the specificities of the target airplane, without theneed for a new certification of the application.
展开▼